$\forall$$T_{1}$, $T_{2}$:Type. $T_{1}$ $\cap$ $T_{2}$ $\in$ Type